projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ada9a4d) | patch
xen/xsm: Rename CONFIG_XSM_POLICY to CONFIG_XSM_FLASK_POLICY
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 26 Jun 2018 09:59:10 +0000 (10:59 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 28 Aug 2018 13:17:11 +0000 (14:17 +0100)
commit4991a46130dca276757d88e77ce7aec7e3e017e5
treee1d3da8d2e561dacaf5e7cfefd875ba8435487ectree | snapshot
parentada9a4d904f860fe16d0eb4f7ae2fd93212880a9commit | diff
xen/xsm: Rename CONFIG_XSM_POLICY to CONFIG_XSM_FLASK_POLICY

The embedded policy is specifically a flask policy, so update the
infrastructure to reflect this.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Doug Goldstein <cardoe@cardoe.com>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
xen/common/Kconfig diff | blob | history
xen/include/xsm/xsm.h diff | blob | history
xen/xsm/flask/Makefile diff | blob | history
xen/xsm/flask/gen-policy.py diff | blob | history
xen/xsm/xsm_core.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.